Nuprl Definition : p-filter
11,40
postcript
pdf
p-filter(
f
)(
x
) == case
f
(
x
) of inl(
p
) => inl
x
| inr(
p
) => inr
p
latex
Definitions
x
.
A
(
x
)
,
case
b
of inl(
x
) =>
s
(
x
) | inr(
y
) =>
t
(
y
)
,
f
(
a
)
,
inl
x
,
inr
x
FDL editor aliases
p-filter
origin